connectives in mathematical logic